Highly Available Transactions: Virtues and Limitations (Extended Version) Peter Bailis, Aaron Davidson, Alan Fekete† , Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica UC Berkeley and † University of Sydney arXiv:1302.

Source URL: arxiv.org

• Computing
• Transaction processing
• Data management
• Data
• Concurrency control
• Databases
• Database management systems
• Isolation
• Snapshot isolation
• Serializability
• Consistency model
• Database transaction

Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency Cary G. Gray and David R. Cheriton Computer Science Department !3tanford University

Source URL: web.stanford.edu

• Network file systems
• Diskless node
• Cache
• File server
• Server
• File system
• Shared resource
• Distributed shared memory
• Andrew File System
• Consistency model
• Microsoft DNS

Computer Science Technical Report Toward a programmer-friendly formal specification of the UPC memory model by William Kuchera and Charles Wallace

Source URL: www.upc.mtu.edu

• Parallel computing
• Concurrent computing
• Computer memory
• Memory barrier
• Unified Parallel C
• Universal Product Code
• Thread
• Consistency model
• Synchronization
• Java concurrency
• Monitor

Understanding eventual consistency Alexey Gotsman IMDEA Software Institute, Madrid, Spain Joint work with Sebastian Burckhardt (MSR)

Source URL: www.resourcereasoning.com

• Computing
• Engineering
• Systems science
• Fault tolerance
• RAID
• Reliability engineering
• Software
• Systems engineering
• Consistency model

Of thus meant of an business unexpected kind, ThinkBIGsites.com Smith is by your workforce on taking a consistency for traditional solutions. A model interest will increase for and a pallet and the major storage. The fre

Source URL: amedislandscaping.com

A Framework for Transactional Consistency Models with Atomic Visibility Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman IMDEA Software Institute, Madrid, Spain Abstract

Source URL: software.imdea.org

• Transaction processing
• Data management
• Schedule
• Consistency model
• Readwrite conflict
• Writeread conflict
• Snapshot isolation
• Isolation
• Database transaction
• Replication
• Consistency
• Causal consistency

Transaction Chopping for Parallel Snapshot Isolation Andrea Cerone1 , Alexey Gotsman1 , and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Transaction processing
• Computing
• Data management
• Software
• Schedule
• Database transaction
• Isolation
• Consistency model
• Extensible Storage Engine
• Transaction log
• Snapshot isolation

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Data types
• Transaction processing
• Type theory
• Concurrency control
• Consistency model
• Eventual consistency
• Denotational semantics
• Extensible Storage Engine
• Primitive data type
• Parallel computing
• Type system
• Causal consistency

Transaction Chopping for Parallel Snapshot Isolation Andrea Cerone1 , Alexey Gotsman1 , and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Transaction processing
• Computing
• Data management
• Software
• Schedule
• Database transaction
• Isolation
• Consistency model
• Extensible Storage Engine
• Transaction log
• Snapshot isolation

Appears in Proceedings of the 2nd USENIX Conference on File and Storage Technologies (FAST ’03). Pond: the OceanStore Prototype Sean Rhea, Patrick Eaton, Dennis Geels, Hakim Weatherspoon, Ben Zhao, and John Kubiatowi

Source URL: www.oceanstore.org

• Fault-tolerant computer systems
• Distributed data storage
• Tapestry
• Consistency model
• Replication
• Windows
• Cache